-public record ElementOrigin(Script.ISharedReference Element) : Origin
+public record ElementOrigin([property: JsonPropertyName("element")] Script.ISharedReference Element) : Origin
 {
     [JsonInclude]
     internal string Type { get; } = "element";
 }

 public override void Write(Utf8JsonWriter writer, Origin value, JsonSerializerOptions options)
 {
+    ArgumentNullException.ThrowIfNull(writer, nameof(writer));
+    ArgumentNullException.ThrowIfNull(value, nameof(value));
+    ArgumentNullException.ThrowIfNull(options, nameof(options));
+    
     if (value is ViewportOrigin)
     {
         writer.WriteStringValue("viewport");
     }
     else if (value is PointerOrigin)
     {
         writer.WriteStringValue("pointer");
     }
     else if (value is ElementOrigin element)
     {
         writer.WriteStartObject();
         writer.WriteString("type", "element");
         writer.WritePropertyName("element");
         JsonSerializer.Serialize(writer, element.Element, options);
         writer.WriteEndObject();
     }
 }